construção da tabela-verdade